Demostración automática de teoremas — Saltar a navegación, búsqueda Para otros usos de este término, véase Demostración. La demostración automática de teoremas (de siglas ATP, por el término en inglés … Wikipedia Español
Proceso para el desarrollo de software — Un proceso para el desarrollo de software, también denominado ciclo de vida del desarrollo de software es una estructura aplicada al desarrollo de un producto de software. Hay varios modelos a seguir para el establecimiento de un proceso para el… … Wikipedia Español
Numbers (software) — Numbers Desarrollador Apple Inc. Numbers Información general Última versión estable 2.0 6 de enero d … Wikipedia Español
DemoLinux — Saltar a navegación, búsqueda DemoLinux Desarrollador Roberto Di Cosmo, Vincent Balat y Jean Vincent Loddo www.demolinux.org/ Información general … Wikipedia Español
JPEG 2000 — Demostración de arriba hacia abajo de la compresión JPEG 2000. Los números indican la relación de compresión utilizada. JPEG 2000 es un estándar de compresión y codificación digital de imágenes. Fue creado por el Joint Photographic Experts Group… … Wikipedia Español
ACL2 — es, a la vez, un lenguaje de programación, una lógica matemática para especificar y demostrar formalmente propiedades de los programas escritos en dicho lenguaje, y un demostrador automático de teoremas que asiste al usuario en dicha tarea. ACL2… … Wikipedia Español
Cronología de la informática — Anexo:Cronología de la informática Saltar a navegación, búsqueda Contenido 1 Nacimiento de las ciencias informáticas 2 Los Hackers 3 La Era de la Internet … Wikipedia Español
Historia de la electricidad — Un fragmento de ámbar como el que pudo utilizar Tales de Mileto en su experimentación del efecto triboeléctrico. El nombre en griego de est … Wikipedia Español
Historia de los videojuegos — Donkey Kong, de Shigeru Miyamoto (1981), uno de los videojuegos más populares de todos los tiempos. La historia de los videojuegos tiene su origen en la década de 1940 cuando, tras el fin de la Segunda Guerra Mundial, las potencias vencedoras… … Wikipedia Español
The Legend of Zelda: Twilight Princess — The Legend of Zelda: Twilight Princess … Wikipedia Español
Call of Duty: Modern Warfare 3 — Este artículo o sección se encuentra desactualizado. Es posible que la información suministrada aquí haya cambiado o sea insuficiente. Call of Duty: Modern Warfare 3 … Wikipedia Español